Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
321	CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration Rune M. Jensen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-20 10:39:50 Boolean algebra Diagrams Model checking Clab M2 BackTrack Nuclear physics Systems engineering process Nuclear technology Radioactive waste Binary decision diagram
322	PROPERTIES PRESERVED UNDER ALGEBRAIC CONSTRUCTIONS R. C. LYNDON Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:29:20 Semantics Model theory Predicate logic Horn clause Algebraic geometry Alfred Tarski Boolean algebra Quantification Interpretation Logic Mathematical logic Mathematics
323	´ ´ H. ANDREKA, Add to Reading List Source URL: www.math-inst.hu Language: English - Date: 2003-08-05 15:11:27 Abstract algebra Abstract algebraic logic Cylindric algebra Boolean algebra Alfred Tarski Universal algebra General frame Modal logic Model theory Mathematical logic Algebraic logic Mathematics
324	4 COMPUTATIONAL MODAL LOGIC Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:53:15 Modal logic Philosophical logic Predicate logic Metalogic First-order logic Interpretation Satisfiability Admissible rule Boolean satisfiability problem Logic Mathematical logic Model theory
325	Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Source URL: wwwneu.inf.tu-dresden.de Language: English - Date: 2010-02-01 08:27:12 Diagrams Functions and mappings Binary decision diagram Boolean algebra Model checking Integral Numerical integration Probability density function Mathematical analysis Mathematics Physics
326	Pseudocode for a recursive solution to the Knight’s Tour problem. The players: o Add to Reading List Source URL: www.wou.edu Language: English - Date: 2008-01-10 12:55:32 FO Finite model theory Algebraic logic Mathematical logic Formal methods Boolean algebra Mathematics Theoretical computer science Abstract algebra
327	P = NP Vinay Deolalikar HP Research Labs, Palo Alto Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-08-08 08:45:30 Complexity classes Mathematical optimization Finite model theory Statistical models Graphical model P versus NP problem Markov random field Boolean satisfiability problem NP Theoretical computer science Computational complexity theory Applied mathematics
328	Theory and Applications of Categories, Vol. 10, No. 13, 2002, pp. 301–368. SUBSPACES IN ABSTRACT STONE DUALITY Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2002-07-30 13:37:18 Functional analysis Operator theory Linear algebra Subspace topology Model theory Dual space Product topology Von Neumann algebra Boolean algebra Topology Mathematics General topology
329	. F Add to Reading List Source URL: www.cacs.louisiana.edu Language: English - Date: 1998-03-02 17:48:08 Relevance feedback Document retrieval Query expansion Tf*idf Full text search Search engine indexing Search engine Relevance Web search engine Information science Information retrieval Extended Boolean model
330	An early approach toward graded identity and graded membership in set theory Siegfried Gottwald Add to Reading List Source URL: www.uni-leipzig.de Language: English - Date: 2009-12-01 16:27:22 Fuzzy logic Algebraic logic Algebraic structures Boolean algebra Boolean-valued model Monoidal t-norm logic MV-algebra Residuated lattice T-norm fuzzy logics Mathematical logic Logic Mathematics

UPDATE